package dbc;

public interface Contract {}
